Reverse engineering PLEX - C code to SDL 10 code
نویسنده
چکیده
Reverse engineering PLEX-C code to SDL10 code Martin Berg 1999 i
منابع مشابه
E-CARES Project: Reengineering of PLEX Systems
One important field of application for embedded realtime systems is in the telecommunications industry. The first phase of the E-CARES reengineering project concerned the architecture modeling and the reverse engineering of telecommunication systems implemented in the programming language PLEX. Now, we study the restructuring of such systems including their re-design and re-implementation. This...
متن کاملCost-Effective Maintenance Tools for Proprietary Languages
Maintenance of proprietary languages and corresponding tooling is expensive. Postponing maintenance to reduce these costs is an often applied, short-term solution which eventually may lead to an unoperational toolset. This paper describes a case study carried out in cooperation with Lucent Technologies where maintenance cost is decreased by simplifying the development process of languages and t...
متن کاملSDL Versus C Equivalence Checking
We present a tool that automatically checks the existence of a bisimulation relation between an SDL specification and the corresponding auto-generated C code. The tool has been used to verify part of the C implementation of a WiFi Medium Access Controller (i.e.; IEEE 802.11) that has been derived from its original SDL specification using the Telelogic CAdvanced Code Generator.
متن کاملImproving time-to-market using SDL tools and techniques
In this paper we summarize our experiences in building and integrating new generation, formal-methods based CASE tools to yield pragmatic improvements in software engineering processes in the telecommunication industry. We define an accelerated development methodology (ADM) for the specification, design, testing and re-engineering of telecommunications software. We identify two of the most sign...
متن کاملImplementation Independent Profiling of SDL Specifications
The Specification and Description Language (SDL) is a worldwide accepted standard for development of new protocols, e.g. an increasing number of IEEE protocol standards uses SDL. Especially for mobile devices it is important that the protocol implementation is as energy efficient as possible. This cannot be achieved with a straight forward code generation from SDL to a target language as for ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999